Control flow - PDFSEARCH.IO - Document Search Engine

Control flow
Results: 3353

#	Item
181	Microsoft Word - MSC12841 Add to Reading List Source URL: www.bossplow.com Language: English - Date: 2011-05-24 16:06:40 Valves Hydraulic engineering Construction Real estate Solenoid valve Solenoid Check valve Hydraulic Flow control valve Pump Sump pump Hydraulic machinery
182	Modeling Dynamic Lift Response to Actuation Xuanhong An∗ David R. Williams† Illinois Institute of Technology, Chicago IL 60616, USA Jeff D. Eldredge‡ University of California Los Angeles, Los Angeles CA 90095, USA Add to Reading List Source URL: colonius.caltech.edu Language: English - Date: 2016-07-07 14:36:40 Actuators Systems science Systems theory Mathematical analysis Materials science Control theory Smart materials Automation Flow control Valve actuator Lift Convolution
183	Microsoft Word - RoCE - The Grand Experiment.docx Add to Reading List Source URL: www.chelsio.com Language: English - Date: 2012-10-22 10:55:53 Computing Ethernet Computer architecture Flow control Network performance Parallel computing RDMA over Converged Ethernet Computer memory IWARP TCP offload engine Internet protocol suite Transmission Control Protocol
184	Specialization of Imperative Programs through Analysis of Relational Expressions Alexander Sakharov Motorola 1501 W. Shure Drive Arlington Heights, IL 60004, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Control-flow analysis Interval Control flow graph Symbol Theoretical computer science
185	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software Software testing Automated theorem proving Concolic testing Symbolic execution Software metrics Control flow graph KeY Code coverage Algorithm Data-flow analysis GNU Core Utilities
186	Training Notes The Circuit The circuit is a standard rectangular landing approach pattern designed for the safe, orderly flow of aircraft. Add to Reading List Source URL: www.glidingmanawatu.org.nz Language: English - Date: 2015-11-14 23:29:50 Aeronautics Aviation Air traffic control Transport Airfield traffic pattern Gliding Glider Run and break Touch-and-go landing
187	Model Predictive Control of Urban Networks with Perimeter Control and Route Guidance Isik Ilber Sirmatel Nikolas Geroliminis École Polytechnique Fédérale de Lausanne Add to Reading List Source URL: www.strc.ch Language: English - Date: 2016-06-11 10:42:50 Transport Land transport Road transport Traffic flow Transportation engineering Mathematical physics Road traffic management Fundamental diagram of traffic flow Traffic simulation Model predictive control Traffic model Teletraffic engineering
188	HEIST: HTTP Encrypted Information can be Stolen through TCP-windows Mathy Vanhoef and Tom Van Goethem iMinds-DistriNet - Add to Reading List Source URL: tom.vg Language: English - Date: 2016-08-03 21:35:58 Computing Network architecture Internet Network performance Cryptographic protocols Secure communication Internet protocols Flow control Transmission Control Protocol Transport Layer Security TCP congestion control HTTPS
189	On Information Flow Control and Audit for Demonstrable Compliance in the Cloud Thomas Pasquier, Jatinder Singh and Jean Bacon University of Cambridge ABSTRACT Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Computing Cloud infrastructure Cloud computing Traffic flow
190	Retargetable Infeasible Path Detection for WCET Analysis Zach Hall, Kory Kraft, Thomas Mincher, Joey Iannetta, Chris Healy Department of Computer Science Furman University Add to Reading List Source URL: www.control.lth.se Language: English - Date: 2015-07-09 03:36:07 Compiler construction Real-time computing Worst-case execution time Programming language implementation Basic block Compiler Control flow

UPDATE